r:RngSig. r  |r||r|(?|r|) 

latex

Up	rng sig object directory
Definitions of Statement	RngSig, |r|, r
Definitions	t.2, t.1, r, |r|, t  T, x:A. B(x), RngSig
Lemmas	rng sig wf